1. Applied proof theory: proof interpretations and their use in mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving

رده :
QA
9
.
54
.
K64
2008